val alpha: F[A] => G[A]